Manuel Kauers: шукати на сайті Z-Library

Журнал:

Manuel Kauers and Richard Stong

Рік:

2006

Мова:

english

Файл:

PDF, 363 KB

english, 2006

A Telescoping Fibonacci Sum: 11258

Журнал:

American Mathematical Monthly

Рік:

2008

Мова:

english

Файл:

PDF, 268 KB

english, 2008

Fast Solvers for Dense Linear Systems

Nuclear Physics B - Proceedings Supplements

Журнал:

Рік:

2008

Мова:

english

Файл:

PDF, 222 KB

english, 2008

Indefinite summation with unspecified summands

Manuel Kauers, Carsten Schneider

Журнал:

Discrete Mathematics

Рік:

2006

Мова:

english

Файл:

PDF, 232 KB

english, 2006

Summation algorithms for Stirling number identities

Журнал:

Manuel Kauers, Christoph Koutschan

Рік:

2007

Мова:

english

Файл:

PDF, 399 KB

english, 2007

A Mathematica

Журнал:

The Ramanujan Journal

Рік:

2009

Мова:

english

Файл:

PDF, 391 KB

english, 2009

[ACM Press the 37th International Symposium - Grenoble, France (2012.07.22-2012.07.25)] Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation - ISSAC '12 - Telescopers for rational and algebraic functions via residues

Chen, Shaoshi, Kauers, Manuel, Singer, Michael F.

Рік:

2012

Мова:

english

Файл:

PDF, 345 KB

english, 2012

Proof of Ira Gessel's lattice path conjecture

Kauers, Manuel, Koutschan, Christoph, Zeilberger, Doron

Журнал:

Proceedings of the National Academy of Sciences

Рік:

2009

Мова:

english

Файл:

PDF, 196 KB

english, 2009

11258

American Mathematical Monthly

Журнал:

Рік:

2006

Мова:

english

Файл:

PDF, 346 KB

english, 2006

On 3-Dimensional Lattice Walks Confined to the Positive Octant

Bostan, Alin, Bousquet-Mélou, Mireille, Kauers, Manuel, Melczer, Stephen

Журнал:

Annals of Combinatorics

Рік:

2016

Мова:

english

Файл:

PDF, 1.57 MB

english, 2016

D-Finite Numbers

Huang, Hui, Kauers, Manuel

Журнал:

International Journal of Number Theory

Рік:

2018

Мова:

english

Файл:

PDF, 544 KB

english, 2018

[Lecture Notes in Computer Science] Mathematical Software – ICMS 2018 Volume 10931 (6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings) || NLP and Large-Scale Information Retrieval on Mathematical Texts

Davenport, James H., Kauers, Manuel, Labahn, George, Urban, Josef

Рік:

2018

Мова:

english

Файл:

PDF, 276 KB

english, 2018

Incremental column-wise verification of arithmetic circuits using computer algebra

Kaufmann, Daniela, Biere, Armin, Kauers, Manuel

Журнал:

Formal Methods in System Design

Рік:

2019

Мова:

english

Файл:

PDF, 707 KB

english, 2019

Apparent singularities of D-finite systems

Chen, Shaoshi, Kauers, Manuel, Li, Ziming, Zhang, Yi

Журнал:

Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz

Рік:

2019

Мова:

english

Файл:

PDF, 520 KB

english, 2019

Dominance in the family of Sugeno–Weber t-norms

Журнал:

Fuzzy Sets and Systems

Рік:

2011

Мова:

english

Файл:

PDF, 284 KB

english, 2011

Determining the closed forms of the anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra

Johannes Blümlein, Manuel Kauers, Sebastian Klein, Carsten Schneider

Журнал:

Computer Physics Communications

Рік:

2009

Мова:

english

Файл:

PDF, 412 KB

english, 2009

Computing the algebraic relations of C-finite sequences and multisequences

Manuel Kauers, Burkhard Zimmermann

Журнал:

Рік:

2008

Мова:

english

Файл:

PDF, 483 KB

english, 2008

Solving difference equations whose coefficients are not transcendental

Theoretical Computer Science

Журнал:

Рік:

2008

Мова:

english

Файл:

PDF, 385 KB

english, 2008

The computational challenge of enumerating high-dimensional rook walks

Manuel Kauers, Doron Zeilberger

Журнал:

Advances in Applied Mathematics

Рік:

2011

Мова:

english

Файл:

PDF, 127 KB

english, 2011

Trading order for degree in creative telescoping

Shaoshi Chen, Manuel Kauers

Журнал:

Chen, Shaoshi, Kauers, Manuel

Рік:

2012

Мова:

english

Файл:

PDF, 448 KB

english, 2012

[ACM Press the 37th International Symposium - Grenoble, France (2012.07.22-2012.07.25)] Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation - ISSAC '12 - Order-degree curves for hypergeometric creative telescoping

Рік:

2012

Мова:

english

Файл:

PDF, 347 KB

english, 2012

[ACM Press the 2010 International Symposium - Munich, Germany (2010.07.25-2010.07.28)] Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation - ISSAC '10 - When can we detect that a P-finite sequence is positive?

Kauers, Manuel, Pillwein, Veronika

Рік:

2010

Мова:

english

Файл:

PDF, 1.30 MB

english, 2010

On the length of integers in telescopers for proper hypergeometric terms

Kauers, Manuel, Yen, Lily

Журнал:

Aparicio Monforte, Ainhoa, Kauers, Manuel

Рік:

2015

Мова:

english

Файл:

PDF, 591 KB

english, 2015

Formal Laurent series in several variables

Журнал:

Expositiones Mathematicae

Рік:

2013

Мова:

english

Файл:

PDF, 249 KB

english, 2013

Experiments with a Positivity-Preserving Operator

Kauers, Manuel, Zeilberger, Doron

Журнал:

Experimental Mathematics

Рік:

2008

Мова:

english

Файл:

PDF, 227 KB

english, 2008

The quasi-holonomic ansatz and restricted lattice walks

Kauers, Manuel, Zeilberger, Doron

Журнал:

Journal of Difference Equations and Applications

Рік:

2008

Мова:

english

Файл:

PDF, 122 KB

english, 2008

[ACM Press the 2006 international symposium - Genoa, Italy (2006.07.09-2006.07.12)] Proceedings of the 2006 international symposium on Symbolic and algebraic computation - ISSAC '06 - Application of unspecified sequences in symbolic summation

Kauers, Manuel, Schneider, Carsten

Рік:

2006

Мова:

english

Файл:

PDF, 143 KB

english, 2006

[ACM Press the twenty-first international symposium - Linz/Hagenberg, Austria (2008.07.20-2008.07.23)] Proceedings of the twenty-first international symposium on Symbolic and algebraic computation - ISSAC '08 - Integration of algebraic functions

Kauers, Manuel, Koutschan, Christoph

Рік:

2008

Мова:

english

Файл:

PDF, 199 KB

english, 2008

[ACM Press the 2015 ACM - Bath, United Kingdom (2015.07.06-2015.07.09)] Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '15 - Integral D-Finite Functions

Рік:

2015

Мова:

english

Файл:

PDF, 436 KB

english, 2015

Solving parametric linear systems

Ballarin, Clemens, Kauers, Manuel

Журнал:

ACM SIGSAM Bulletin

Рік:

2004

Мова:

english

Файл:

PDF, 256 KB

english, 2004

[ACM Press the 2005 international symposium - Beijing, China (2005.07.24-2005.07.27)] Proceedings of the 2005 international symposium on Symbolic and algebraic computation - ISSAC '05 - A procedure for proving special function inequalities involving a discrete parameter

Gerhold, Stefan, Kauers, Manuel

Рік:

2005

Мова:

english

Файл:

PDF, 154 KB

english, 2005

[ACM Press the 2007 international symposium - Waterloo, Ontario, Canada (2007.07.29-2007.08.01)] Proceedings of the 2007 international symposium on Symbolic and algebraic computation - ISSAC '07 - Symbolic summation with radical expressions

Kauers, Manuel, Schneider, Carsten

Рік:

2007

Мова:

english

Файл:

PDF, 187 KB

english, 2007

[ACM Press the 36th international symposium - San Jose, California, USA (2011.06.08-2011.06.11)] Proceedings of the 36th international symposium on Symbolic and algebraic computation - ISSAC '11 - The concrete tetrahedron

Kauers, Manuel, Schneider, Carsten

Рік:

2011

Мова:

english

Файл:

PDF, 295 KB

english, 2011

[ACM Press the 36th international symposium - San Jose, California, USA (2011.06.08-2011.06.11)] Proceedings of the 36th international symposium on Symbolic and algebraic computation - ISSAC '11 - A refined denominator bounding algorithm for multivariate linear difference equations

Рік:

2011

Мова:

english

Файл:

PDF, 475 KB

english, 2011

[ACM Press the 38th international symposium - Boston, Maine, USA (2013.06.26-2013.06.29)] Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13 - Finding hyperexponential solutions of linear ODEs by numerical evaluation

Johansson, Fredrik, Kauers, Manuel, Mezzarobba, Marc

Рік:

2013

Мова:

english

Файл:

PDF, 683 KB

english, 2013

[ACM Press the 39th International Symposium - Kobe, Japan (2014.07.23-2014.07.25)] Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14 - Bounds for D-finite closure properties

Chen, Shaoshi, Kauers, Manuel, Koutschan, Christoph

Рік:

2014

Мова:

english

Файл:

PDF, 198 KB

english, 2014

[ACM Press the 39th International Symposium - Kobe, Japan (2014.07.23-2014.07.25)] Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation - ISSAC '14 - A generalized Apagodu-Zeilberger algorithm

Рік:

2014

Мова:

english

Файл:

PDF, 203 KB

english, 2014

[ACM Press the 2015 ACM - Bath, United Kingdom (2015.07.06-2015.07.09)] Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '15 - A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms

Chen, Shaoshi, Huang, Hui, Kauers, Manuel, Li, Ziming

Рік:

2015

Мова:

english

Файл:

PDF, 607 KB

english, 2015

An algorithm for deciding zero equivalence of nested polynomially recurrent sequences

ACM Transactions on Algorithms

Журнал:

Рік:

2007

Мова:

english

Файл:

PDF, 133 KB

english, 2007

[ACM Press the 2004 international symposium - Santander, Spain (2004.07.04-2004.07.07)] Proceedings of the 2004 international symposium on Symbolic and algebraic computation - ISSAC '04 - Computer proofs for polynomial identities in arbitrary many variables

Chen, Shaoshi, Jaroschek, Maximilian, Kauers, Manuel, Singer, Michael F.

Рік:

2004

Мова:

english

Файл:

PDF, 194 KB

english, 2004

[ACM Press the 38th international symposium - Boston, Maine, USA (2013.06.26-2013.06.29)] Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation - ISSAC '13 - Desingularization explains order-degree curves for ore operators

Рік:

2013

Мова:

english

Файл:

PDF, 482 KB

english, 2013

A Computer Proof of Moll's Log-Concavity Conjecture

Manuel Kauers and Peter Paule

Журнал:

Proceedings of the American Mathematical Society

Рік:

2007

Мова:

english

Файл:

PDF, 813 KB

english, 2007

Proof of George Andrews's and David Robbins's q-TSPP conjecture

Christoph Koustschan, Manuel Kauers, Doron Zeilberger and George E. Andrews

Журнал:

Proceedings of the National Academy of Sciences

Рік:

2011

Мова:

english

Файл:

PDF, 744 KB

english, 2011

[IEEE 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2015.9.21-2015.9.24)] 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Creative Telescoping via Hermite Reduction

Chen, Shaoshi, Kauers, Manuel, Singer, Michael F.

Рік:

2015

Мова:

english

Файл:

PDF, 111 KB

english, 2015

Desingularization of Ore operators

Журнал:

Drmota, Michael, Kauers, Manuel, Spiegelhofer, Lukas

Рік:

2016

Мова:

english

Файл:

PDF, 298 KB

english, 2016

On a Conjecture of Cusick Concerning the Sum of Digits of $n$ and $n+t$

Журнал:

SIAM Journal on Discrete Mathematics

Рік:

2016

Мова:

english

Файл:

PDF, 450 KB

english, 2016

Computing limits of sequences